Artificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence
نویسنده
چکیده
2 Prolog as a simple database engine 4 2.1 The subset of Prolog called Datalog . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Example: Logical circuits in Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 How Prolog answers queries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.4 A logical semantics for Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.5 Predefined predicates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.6 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
منابع مشابه
Reasoning with Conditionals in Artificial Intelligence
Conditionals of one kind or another are the dominant form of knowledge representation in Artificial Intelligence. However, despite the fact that they play a key role in such different formalisms as production systems and logic programming, there has been little effort made to study the relationships between these different kinds of conditionals. In this paper I present a framework that attempts...
متن کاملAn Adaptive Learning Game for Autistic Children using Reinforcement Learning and Fuzzy Logic
This paper, presents an adapted serious game for rating social ability in children with autism spectrum disorder (ASD). The required measurements are obtained by challenges of the proposed serious game. The proposed serious game uses reinforcement learning concepts for being adaptive. It is based on fuzzy logic to evaluate the social ability level of the children with ASD. The game adapts itsel...
متن کاملKnowledge Representation and Reasoning: What's Hot
Knowledge representation and reasoning (KR) stems from a deep tradition in logic. In particular, it aims at building systems that know about their world and are able to act in an informed way in it, as humans do. A crucial part of these systems is that knowledge is represented symbolically, and that reasoning procedures are able to extract consequences of such knowledge as new symbolic represen...
متن کاملArtificial Intelligence in Engineering : Past , Present and Future
This is a review paper which sets the scene by defining some fundamental concept, such as intelligence and intelligent systems, and then discusses current trends in applications of artificial intelligence in engineering. The author reviews five key paradigms of artificial intelligence in engineering: knowledge-based systems, neural networks, genetic algorithms, fuzzy logic and intelligent agents.
متن کاملThe Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Intelligent systems based on first-order logic on the one hand, and on artificial neural networks (also called connectionist systems) on the other, differ substantially. It would be very desirable to combine the robust neural networking machinery with symbolic knowledge representation and reasoning paradigms like logic programming in such a way that the strengths of either paradigm will be reta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006